M. A. E. Dummett, E. J. Lemmon; 1959; "Modal Logic Between S4 and S5" - Internet Explorer 2.0

M. A. E. Dummett, E. J. Lemmon; 1959; "Modal Logic Between S4 and S5"

Memo

M. A. E. Dummett，E. J. Lemmon

様相論理S4と様相論理S5間のModal Companionについて

Dumett-LemmonのModal Companionの定理